Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings: 1102 (Lecture Notes in Computer Science)
by Thomas Henzinger,Rajeev Alur
ISBN 13: 9783540614746
Format: Paperback (492 pages) Publisher: Springer Published: 13 Jun 2008
Save for later